Issue1609d.agda:3,12-12
Issue1609d.agda:3,12: Illegal: with in type signature
<EOF><ERROR>
...
